Typage fort et typage souple des collections topologiques et des transformations

Les collections topologiques permettent de considérer uniformément de nombreuses structures de données dans un langage de programmation et sont manipulées par des fonctions définies par filtrage appelées des transformations. Nous présentons dans cet article deux systèmes de types pour des langages intégrant les collections topologiques et les transformations. Le premier est un système à typage fort à la Hindley/Milner qui peut être entièrement typé à la compilation. Le second est un système à typage mixte statique/dynamique permettant de gérer des collections hétérogènes, c’est-à-dire qui contiennent des valeurs de types distincts. Dans les deux cas l’inférence de types automatique est possible.